An Introduction To Symbolic Logic - 2022